Natural computation - PDFSEARCH.IO - Document Search Engine

Natural computation
Results: 158

#	Item
131	Preface The term evolutionary computing refers to the study of the foundations and applications of certain heuristic techniques based on the principles of natural evolution; thus the aim of designing evolutionary algori Add to Reading List Source URL: www2.hannan-u.ac.jp Language: English - Date: 2003-01-31 10:00:00 Artificial intelligence Science Mathematical optimization Genetic algorithms Operations research Evolutionary computation Genetic programming Interactive evolutionary computation Ant colony optimization algorithms Evolutionary algorithms Applied mathematics Cybernetics
132	Chapter 1 Evolutionary Computation: Centralized, Parallel or Collaborative Heinz Muhlenbein ¨ Add to Reading List Source URL: muehlenbein.org Language: English - Date: 2008-09-05 06:02:02 Philosophy of biology Natural selection Genetic algorithm Population genetics Evolution Fitness Modern evolutionary synthesis The Selfish Gene Evolutionary algorithm Biology Evolutionary biology Science
133	Human-Machine Hybrid Computation Position paper for CHI 2011 Workshop On Crowdsourcing And Human Computation Alexander J. Quinn Benjamin B. Bederson Human-Computer Interaction Lab Computer Science Department Add to Reading List Source URL: crowdresearch.org Language: English - Date: 2011-03-24 21:28:48 Artificial intelligence Computing Natural language processing Speech recognition Human–computer interaction Machine translation Algorithm Automation Amazon Mechanical Turk Computational linguistics Science Human-based computation
134	Using Games to Create Language Resources: Successes and Limitations of the Approach Chamberlain, J., Fort, K., Kruschwitz, U., Lafourcade, M. and Poesio, M. Abstract One of the more novel approaches to collaboratively cr Add to Reading List Source URL: www.jonchamberlain.com Language: English - Date: 2013-10-24 07:41:31 Social information processing Science Linguistics Data collection Human-based computation game Crowdsourcing ESP game Natural language processing Page Hunt Human-based computation Collective intelligence Computational linguistics
135	Evol. Intel. DOI[removed]s12065[removed]x SHORT NOTE Embodied artificial evolution Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2012-05-01 07:17:34 Cybernetics Mathematical optimization Evolution Mathematics Evolutionary computation Natural computing Robotics Genetic algorithm Robot Science Evolutionary algorithms Applied mathematics
136	LNCS[removed]Erasure and Polymorphism in Pure Type Systems Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2008-11-13 13:58:09 Theoretical computer science Models of computation Type erasure Proof theory Lambda calculus Valuation Type system Admissible rule Natural deduction Mathematical logic Mathematics Type theory
137	Quantiers in TIME and SPACE Computational Complexity of Generalized Quantiers in Natural Language Jakub Szymanik Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2011-03-21 08:58:36 Science Mathematical logic Institute for Logic Language and Computation Computational complexity theory Complexity Algorithm Descriptive complexity theory EXPTIME P Applied mathematics Complexity classes Mathematics
138	ASYMPTOTIC DENSITY AND THE ERSHOV HIERARCHY ROD DOWNEY, CARL JOCKUSCH, TIMOTHY H. MCNICHOLL, AND PAUL SCHUPP Abstract. We classify the asymptotic densities of the ∆02 sets according to their level in the Ershov hierarc Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-02-03 11:22:38 Field theory Computable number Real closed field Natural density Recursively enumerable set Limit superior and limit inferior Itō diffusion Mathematics Theory of computation Computability theory
139	1 Entry for International Directory of Logicians, 2008 VAN BENTHEM, Johannes Franciscus Abraham Karel Specialties: Modal logic, epistemic logic, dynamic logic, logics of time and space, semantics of natural language: gen Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2009-01-30 07:12:28 Philosophy Game theory Philosophy of mathematics Mathematical logic Johan van Benthem Modal logic Game semantics Institute for Logic Language and Computation Epistemic modal logic Logic Philosophical logic Mathematics
140	Logic-Based Domain-Aware Session Types Lu´ıs Caires∗ , Jorge A. P´erez∗ , Frank Pfenning† and Bernardo Toninho∗† ∗ FCT - Universidade Nova de Lisboa Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-01-21 08:18:35 Proof theory Type theory Logic in computer science Models of computation Deduction Natural deduction Curry–Howard correspondence Lambda calculus Connection Mathematical logic Mathematics Theoretical computer science

UPDATE